add binary strings in python